Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy

Source URL: dream.inf.ed.ac.uk

• Logic programming
• Constraint programming
• Logical consequence
• Statements
• Theorem
• Unification
• Lambda calculus
• Constraint logic programming
• Constraint satisfaction

Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer

Source URL: www.peoppenheimer.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Formal languages
• Predicate logic
• Metalogic
• First-order logic
• Principia Mathematica
• Interpretation
• Well-formed formula
• Lambda calculus

Optimizing Closures in O(0) time Andrew W. Keep Alex Hearn R. Kent Dybvig

Source URL: users-cs.au.dk

• Software engineering
• Computing
• Computer programming
• Subroutines
• Lambda calculus
• Data types
• Type theory
• Functional programming
• Closure
• Scope
• Free variables and bound variables
• Lambda lifting

Automated reasoning under the theory H∗ (thesis abstract) Fritz Obermeyer February 23, 2009 In this thesis I study four extensions of untyped λ-calculi all under the maximally coarse semantics of

Source URL: fritzo.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Logic in computer science
• Lambda calculus
• Models of computation
• Type theory
• Combinatory logic
• Theorem
• Structure
• Interpretation

M. H. Newman’s Typability Algorithm for Lambda-Calculus J. Roger Hindley ∗

Source URL: www.users.waitrose.com

CMSC 336: Type Systems for Programming Languages Lecture 4: Programming in the Lambda Calculus Acar & Ahmed 22 January 2008

Source URL: ttic.uchicago.edu

Church: a language for generative models Noah D. Goodman, Vikash K. Mansinghka∗, Daniel M. Roy, Keith Bonawitz & Joshua B. Tenenbaum MIT BCS/CSAIL Cambridge, MA 02139

Source URL: stanford.edu

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Functional programming
• Programming languages
• Data types
• Control flow
• Eval
• Bayesian network
• Scheme
• Lisp

The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek

Source URL: dl.dropboxusercontent.com

• Type theory
• Lambda calculus
• Type systems
• Models of computation
• Program analysis
• Simply typed lambda calculus
• Gradual typing
• Monad
• System F

ERRATA in “Lambda-calculus and Combinators in the 20th Century” F. Cardone, J. Roger Hindley, Chapter 13 (pp. 723–817) in

Source URL: www.users.waitrose.com

The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University

Source URL: www.itu.dk

• Logic in computer science
• Lambda calculus
• Models of computation
• Combinatory logic
• First-order logic
• Substitution
• Symbol
• Natural deduction